Knihy od autora Guy Katz

Zobrazeno 1 – 7 z 7 výsledků

1. 

   Software Verification and Formal Methods for ML-Enabled Autonomous Systems

   Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi | Springer, Berlin, 2022

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1535 Kč

   Koupit
2. 

   Software Verification and Formal Methods for ML-Enabled Autonomous Systems

   Omri Isac, Radoslav Ivanov, Guy Katz | Springer Nature B.V., 2022

   
   

   Skladem u dodavatele - Odesíláme za 10-18 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1309 Kč

   Koupit
3. 
   Novinka

   Tools and Algorithms for the Construction and Analysis of Systems

   Sebastian Junges, Guy Katz | Springer, Berlin, 2026

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   946 Kč

   Koupit
4. 

   AI Verification

   Guy Avni, Mirco Giacobbe, Taylor T. Johnson, Guy Katz, Anna Lukina, Nina Narodytska, Christian Schilling | Springer, Berlin, 2025

   
   

   Skladem u dodavatele - Odesíláme za 8-11 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1370 Kč

   Koupit
5. 

   AI Verification

   Taylor T. Johnson, Guy Katz, Anna Lukina, Christian Schilling, Guy Avni, Mirco Giacobbe, Nina Narodytska | Springer, Berlin, 2024

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   3062 Kč

   Koupit
6. 

   How It Works?

   Guy Katz, Tom Katz | Independently published, 2024

   
   

   Skladem u dodavatele - Odesíláme za 9-15 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   299 Kč

   Koupit
7. 
   Novinka

   Tools and Algorithms for the Construction and Analysis of Systems

   Sebastian Junges, Guy Katz | Springer, Berlin, 2026

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   946 Kč

   Koupit

Máte na výběr ze mnoha způsobů platby za váš nákup. Zjistěte více